home *** CD-ROM | disk | FTP | other *** search
/ Apple Developer Connection Student Program / ADC Tools Sampler CD Disk 3 1999.iso / Cool Demos, SDKs, & Tools / Demos⁄Tools⁄Offers / Eiffel for CW beta 3 / Example Projects / EiffelText / RCL < prev    next >
Text File  |  1999-04-21  |  2KB  |  49 lines
  1. -- This file sets run-time assertions and debug instructions.
  2. -- The Eiffel compiler generates the RCB file from it, which
  3. -- alters the run-time and debug behaviour of your program.
  4. -- If you make changes in here, make sure you recompile with
  5. -- Eiffel to process the changes. You do not have to recompile
  6. -- with C.
  7. -- The RCB file should be placed in the same folder as your program.
  8.  
  9. -- You can set the following levels of monitoring:
  10. --
  11. -- require    library_name.class_name
  12. -- ensure    library_name.class_name
  13. -- check    library_name.class_name
  14. -- loop_invariant    library_name.class_name
  15. -- variant    library_name.class_name
  16. -- invariant    library_name.class_name
  17. -- debug [(key_list)]    library_name.class_name
  18.  
  19. -- The debug keys match the keys in the debug instructions in your
  20. -- Eiffel source code.
  21.  
  22. -- Monitoring cannot be set on clusters that are compiled 'Final'
  23. -- in the EiffelS2 preference panel.
  24.  
  25. require PROJECT.all
  26. --ensure PROJECT.all
  27. --invariant PROJECT.all
  28.  
  29. -- Use these debug settings on the MOTEL library to trace exactly
  30. -- what is happening in your program.
  31.  
  32. --debug MOTEL.all
  33. --debug ("events") MOTEL.all
  34. --debug ("event_disk") MOTEL.all
  35. --debug ("event_idle") MOTEL.all
  36. --debug ("event_disk") MOTEL.all
  37. --debug ("event_setup_menu") MOTEL.all
  38. --debug ("event_menu_command") MOTEL.all
  39. --debug ("event_key_down") MOTEL.all
  40. --debug ("event_high_level") MOTEL.all
  41. --debug ("event_key_up") MOTEL.all
  42. --debug ("event_mouse_down") MOTEL.all
  43. --debug ("event_mouse_up") MOTEL.all
  44. --debug ("event_null") MOTEL.all
  45. --debug ("event_OS") MOTEL.all
  46. --debug ("event_activate") MOTEL.all
  47. --debug ("event_update") MOTEL.all
  48. --debug ("event_window") MOTEL.all
  49.